bounded below set